completion of uniform space

一致空间的完备化